W32: Fix menu item size and submenu arrow size

https://bugzilla.gnome.org/show_bug.cgi?id=727037

diff --git a/gtk/resources/theme/gtk-win32-base.css b/gtk/resources/theme/gtk-win32-base.css
index f9b4834c6ec2fb180f109375b8f6ef1a66d26875..6d7d400cbd14b65021222ad3d0ca4bab1f225164 100644 (file)
--- a/gtk/resources/theme/gtk-win32-base.css
+++ b/gtk/resources/theme/gtk-win32-base.css
@@ -925,6 +925,17 @@ GtkSwitch.trough:active {
     padding: 3px 5px;
 }
 
+/* Add more padding to menus, increasing visible height of each menuitem */
+.menu * {
+  padding: 2px;
+}
+
+/* Make arrows a bit smaller to fit better into W32 theme
+   FIXME: they still have the wrong style though - angle instead of a filled triangle */
+GtkMenuItem {
+    -GtkMenuItem-arrow-scaling: 0.5;
+}
+
 /* Assistant */
 
 GtkAssistant .sidebar .highlight {